$\forall$$s$:POSet\{i\}. AntiSym($\mid$$s$$\mid$;$a$,$b$.$a$ $\leq$ $b$)